Gérard Huet's Documents

Gérard Huet's Documents

Topics in concurrency: lecture notes

Topics in concurrency: lecture notes
Read more
Magnetofluidodinamica: Lectures Given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held in Varenna (Como), Italy, September 28-October 6, 1962

Magnetofluidodinamica: Lectures Given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held in Varenna (Como), Italy, September 28-October 6, 1962
Read more
Von Neumanns inequality and Andos generalization

Von Neumanns inequality and Andos generalization
Read more
Auvergne

Auvergne
Read more
Induced modules over group algebras

Induced modules over group algebras
Read more
Bundles of Topological Vector Spaces and Their Duality

Bundles of Topological Vector Spaces and Their Duality
Read more
Pedro The Ugliest dog In The World

Pedro The Ugliest dog In The World
Read more
Response in the Yield of Milk Constituents to the Intake of Nutrients by Dairy Cows (Afrc Technical Committee on Responses to Nutrients)

Response in the Yield of Milk Constituents to the Intake of Nutrients by Dairy Cows (Afrc Technical Committee on Responses to Nutrients)
Read more
Marcus Contextual Grammars

Marcus Contextual Grammars
Read more
Eigenvalues of Non-Linear Problems (C.I.M.E. Summer Schools, 67)

Eigenvalues of Non-Linear Problems (C.I.M.E. Summer Schools, 67)
Read more
York

York
Read more
Lecture notes on maximum principles

Lecture notes on maximum principles
Read more
Functional approach to nonlinear models of water flow in soils

Functional approach to nonlinear models of water flow in soils
Read more
Programming the AVR microcontroller with GCC, libc 1.0.4

Programming the AVR microcontroller with GCC, libc 1.0.4
Read more
The Chaos Hypertextbook

The Chaos Hypertextbook
Read more
Bounded Incremental Computation

Bounded Incremental Computation
Read more
Die arabischen, turkischen und persischen Handschriften der Kaiserlich–Koniglichen Hofbibliothek zu Wien - Bd. I

Die arabischen, turkischen und persischen Handschriften der Kaiserlich–Koniglichen Hofbibliothek zu Wien - Bd. I
Read more
General and Synthetic Methods Vol.6

General and Synthetic Methods Vol.6
Read more
Ajanta: The Colour & Monochrome Reproductions of the Ajanta Frescoes, based on photography. Explanatory Text

Ajanta: The Colour & Monochrome Reproductions of the Ajanta Frescoes, based on photography. Explanatory Text
Read more
The General Distribution of Cosmical Velocities

The General Distribution of Cosmical Velocities
Read more
Jacobi operators and completely integrable nonlinear lattices (errata)

Jacobi operators and completely integrable nonlinear lattices (errata)
Read more
Travellers' Tales: Narratives of Home and Displacement (Futures, New Perspectives for Cultural Analysis)

Travellers' Tales: Narratives of Home and Displacement (Futures, New Perspectives for Cultural Analysis)
Read more
The classical differential geometry of curves and surfaces

The classical differential geometry of curves and surfaces
Read more
Yucca & Agave. Various articles

Yucca & Agave. Various articles
Read more
More Math into LaTEX

More Math into LaTEX
Read more
Battle of Crete

Battle of Crete
Read more
The geometric theory of ordinary differential equations and algebraic functions

The geometric theory of ordinary differential equations and algebraic functions
Read more
Schaum's outline of theory and problems of immunology

Schaum's outline of theory and problems of immunology
Read more
2-Dimensional vector-valued modular forms

2-Dimensional vector-valued modular forms
Read more
Musical Performance.. A Comprehensive Approach.. Theory, Analytical Tools, and C

Musical Performance.. A Comprehensive Approach.. Theory, Analytical Tools, and C
Read more